#!/bin/sh
#
# git-pull -- pull the latest lab
#
# Copyright (C) 2016-2021 Wu Zhangjin <falcon@ruma.tech>
#

TOP_DIR="$(cd "$(dirname "$0")"/../../ && pwd)"
. "$TOP_DIR"/tools/docker/config >/dev/null

info_print "Pull repository: $LAB_NAME"

cd "$LAB_DIR"/$LAB_NAME && git pull -v
